$\forall$$X$:es\_realizer\{i:l\}, $P$:(ES\{i\}$\rightarrow$Prop$_{\mbox{\scriptsize i'}}$).
\\[0ex]R{-}Feasible\{i:l\}($X$) $\Rightarrow$ ($\forall$${\it es}$:ES\{i\}. Consistent($X$;${\it es}$) $\Rightarrow$ $P$(${\it es}$)) $\Rightarrow$ es{-}real\{i:l\}(${\it es}$.$P$(${\it es}$))